Former Presidents: Pensions, Office Allowances, and Other Federal Benefits

[Excerpt] This report provides a legislative and cultural history of the Former Presidents Act. It details the benefits provided to former Presidents and their costs. Congress has the authority to reduce, increase, or maintain the pension and benefits provided to former Presidents of the United States. This report considers the potential effects of maintaining the FPA or amending the FPA in ways that might reduce or otherwise modify a former President’s benefits

Federal Benefits and the Same-Sex Partners of Federal Employees

[Excerpt] This report examines current policies on the application of benefits to the same-sex partners of federal employees and reviews certain policy debates about the extension or removal of these benefits. This report also presents data on the prevalence of same-sex partner benefits in the private and public sector. This report focuses on federal benefits for same-sex partners and not on same-sex relationships in general

Numerical precision radiative corrections to the Dalitz plot of baryon semileptonic decays including the spin-momentum correlation of the decaying and emitted baryons

We calculate the radiative corrections to the angular correlation between the polarization of the decaying and the direction of the emitted spin one-half baryons in the semileptonic decay mode. The final results are presented, first, with the triple integration of the bremsstrahlung photon ready to be performed numerically and, second, in an analytical form. A third presentation of our results in the form of numerical arrays of coefficients to be multiplied by the quadratic products of form factors is discussed. This latter may be the most practical one to use in Monte Carlo simulations. A series of crosschecks is performed. Previous results to order (alpha/pi)(q/M_1) for the decays of unpolarized baryons are reviewed, too, where q is the momentum transfer and M_1 is the mass of the decaying baryon. This paper is self-contained and organized to make it accessible and reliable in the analysis of the Dalitz plot of precision experiments involving heavy quarks and is not compromised to fixing the form factors at predetermined values. It is assumed that the real photons are kinematically discriminated. Otherwise, our results have a general model-independent applicability.Comment: 34 pages, 4 tables, no figures. Some sections have been shortened. Conclusions remain unchange

Generalizing Boolean Satisfiability I: Background and Survey of Existing Work

This is the first of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper is a survey of the work underlying ZAP, and discusses previous attempts to improve the performance of the Davis-Putnam-Logemann-Loveland algorithm by exploiting the structure of the problem being solved. We examine existing ideas including extensions of the Boolean language to allow cardinality constraints, pseudo-Boolean representations, symmetry, and a limited form of quantification. While this paper is intended as a survey, our research results are contained in the two subsequent articles, with the theoretical structure of ZAP described in the second paper in this series, and ZAP's implementation described in the third

A point mutation of integrin beta 1 subunit blocks binding of alpha 5 beta 1 to fibronectin and invasin but not recruitment to adhesion plaques.

A point mutation in a highly conserved region of the beta 1 subunit, Asp130 to Ala (D130A) substitution, abrogates the Arg-Gly-Asp (RGD)-dependent binding of alpha 5 beta 1 to fibronectin (FN) without disrupting gross structure or heterodimer assembly. The D130A mutation also interferes with binding to invasin, a ligand that lacks RGD sequence. In spite of the lack of detectable FN binding by alpha 5 beta 1(D130A), it was recruited to adhesion plaques formed on FN by endogenous hamster receptors. Thus, intact ligand binding function is not required for recruitment of alpha 5 beta 1 to adhesion plaques. Overexpression of beta 1(D130A) partially interfered with endogenous alpha 5 beta 1 function, thus defining a dominant negative beta 1 integrin mutation

Radiative Corrections to the Ke3±K_{e3}^{\pm} Decay Revised

We consider the lowest order radiative corrections for the decay $K^{\pm}\to \pi^0 e^{\pm} \nu$, usually referred as $K_{e3}^{\pm}$ decay. This decay is the best way to extract the value of the $V_{us}$ element of the CKM matrix. The radiative corrections become crucial if one wants a precise value of $V_{us}$. The existing calculations were performed in the late 60's \cite{B,G} and are in disagreement. The calculation in \cite{G} turns out to be ultraviolet cutoff sensitive. The necessity of precise knowledge of $V_{us}$ and the contradiction between the existing results constitute the motivation of our paper. We remove the ultraviolet cutoff dependence by using A.Sirlin's prescription; we set it equal to the $W$ mass. We establish the whole character of small lepton mass dependence based on the renormalization group approach. In this way we can provide a simple explanation of Kinoshita--Lee--Nauenberg cancellation of singularities in the lepton mass terms in the total width and pion spectrum. We give an explicit evaluation of the structure--dependent photon emission based on ChPT in the lowest order. We estimate the accuracy of our results to be at the level of 1%. The corrected total width is $\Gamma=\Gamma_0(1+\delta)$ with $\delta=0.02\pm0.0002$. Using the formfactor value $f_+(0)=0.9842\pm 0.0084$ calculated in \cite{CKNRT} leads to $|V_{us}|=0.2172 \pm0.0055$.Comment: 29 pages, 4 figures, 2 tables, uses feynmf.st

Distinct functions of integrin alpha and beta subunit cytoplasmic domains in cell spreading and formation of focal adhesions.

Integrin-mediated cell adhesion often results in cell spreading and the formation of focal adhesions. We exploited the capacity of recombinant human alpha IIb beta 3 integrin to endow heterologous cells with the ability to adhere and spread on fibrinogen to study the role of integrin cytoplasmic domains in initiation of cell spreading and focal adhesions. The same constructs were also used to analyze the role of the cytoplasmic domains in maintenance of the fidelity of the integrin repertoire at focal adhesions. Truncation mutants of the cytoplasmic domain of alpha IIb did not interfere with the ability of alpha IIb beta 3 to initiate cell spreading and form focal adhesions. Nevertheless, deletion of the alpha IIb cytoplasmic domain allowed indiscriminate recruitment of alpha IIb beta 3 to focal adhesions formed by other integrins. Truncation of the beta 3 subunit cytoplasmic domain abolished cell spreading mediated by alpha IIb beta 3 and also abrogated recruitment of alpha IIb beta 3 to focal adhesions. This truncation also dramatically impaired the ability of alpha IIb beta 3 to mediate the contraction of fibrin gels. In contrast, the beta 3 subunit cytoplasmic truncation did not reduce the fibrinogen binding affinity of alpha IIb beta 3. Thus, the integrin beta 3 subunit cytoplasmic domain is necessary and sufficient for initiation of cell spreading and focal adhesion formation. Further, the beta 3 cytoplasmic domain is required for the transmission of intracellular contractile forces to fibrin gels. The alpha subunit cytoplasmic domain maintains the fidelity of recruitment of the integrins to focal adhesions and thus regulates their repertoire of integrins

Generalizing Boolean Satisfiability II: Theory

This is the second of three planned papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal is to define a representation in which this structure is apparent and can easily be exploited to improve computational performance. This paper presents the theoretical basis for the ideas underlying ZAP, arguing that existing ideas in this area exploit a single, recurring structure in that multiple database axioms can be obtained by operating on a single axiom using a subgroup of the group of permutations on the literals in the problem. We argue that the group structure precisely captures the general structure at which earlier approaches hinted, and give numerous examples of its use. We go on to extend the Davis-Putnam-Logemann-Loveland inference procedure to this broader setting, and show that earlier computational improvements are either subsumed or left intact by the new method. The third paper in this series discusses ZAPs implementation and presents experimental performance results

Data management study, volume 5. Appendix J - Contractor data package procurement and contracting /PC/ Final report

Contractor data package for administration of procurement and contracting of Voyager spacecraft system

Generalizing Boolean Satisfiability III: Implementation

This is the third of three papers describing ZAP, a satisfiability engine that substantially generalizes existing tools while retaining the performance characteristics of modern high-performance solvers. The fundamental idea underlying ZAP is that many problems passed to such engines contain rich internal structure that is obscured by the Boolean representation used; our goal has been to define a representation in which this structure is apparent and can be exploited to improve computational performance. The first paper surveyed existing work that (knowingly or not) exploited problem structure to improve the performance of satisfiability engines, and the second paper showed that this structure could be understood in terms of groups of permutations acting on individual clauses in any particular Boolean theory. We conclude the series by discussing the techniques needed to implement our ideas, and by reporting on their performance on a variety of problem instances